Spin doctor

SPIN Tutorial: How to Become a SPIN Doctor

Spin is a model checker for the verification of software systems. Spin uses a high level language called Promela to specify systems descriptions. The goal of this tutorial is to introduce novice users to both Promela and Spin. The tutorial itself is divided into two parts. The Basic Spin part is targeted towards novice users of Spin. The Advanced Spin part of the tutorial could also be of consi...

TOWARDS SINGLE SPIN SENSITIVITY Harish Bhaskaran , Doctor of Philosophy , 2006

Title of Dissertation: NANOMECHANICAL RESONATORS TOWARDS SINGLE SPIN SENSITIVITY Harish Bhaskaran, Doctor of Philosophy, 2006 Directed By: Professor Keith Schwab Department of Physics Ultrasensitive force detectors are required for progress towards single atom imaging using magnetic resonance force microscopy (MRFM). MRFM is a scanned probe imaging technique, with potential for atomic-scale, no...

"Doctor".

THESIS FOR THE DEGREE OF DOCTOR OF PHILOSOPHY Spin Transport in Two-Dimensional Material Heterostructures

Spintronics is considered as an alternative for information processing beyond the charge based technology. The spintronic device performance depend on the spin relaxation mechanisms in the channel material. Si and graphene are interesting for their long spin coherence lengths and ideal for spin transport channels. Additionally, the interest in newly discovered two-dimensional semiconductors (2D...

And a Machiavellian Spin Doctor Shall Lead Them from the Spotlight of the Cartesian Theater